Karlsruhe Institute of Technology

Results: 590



#Item
41P4R: Privacy-Preserving Pre-Payments with Refunds for Transportation Systems Andy Rupp1, Gesine Hinterwälder2, Foteini3 Baldimtsi, Christof Paar2,4 Karlsruhe Institute of Technology

P4R: Privacy-Preserving Pre-Payments with Refunds for Transportation Systems Andy Rupp1, Gesine Hinterwälder2, Foteini3 Baldimtsi, Christof Paar2,4 Karlsruhe Institute of Technology

Add to Reading List

Source URL: fc13.ifca.ai

Language: English - Date: 2013-04-05 03:46:00
    42Multi-unit Auctions with Non-binding Award and Reallocation – Theoretical and Experimental Analysis Matej Belicaa , Karl-Martin Ehrharta , Marie-Christin Haufea a Karlsruhe Institute of Technology (KIT), Germany

    Multi-unit Auctions with Non-binding Award and Reallocation – Theoretical and Experimental Analysis Matej Belicaa , Karl-Martin Ehrharta , Marie-Christin Haufea a Karlsruhe Institute of Technology (KIT), Germany

    Add to Reading List

    Source URL: games.econ.kit.edu

    Language: English - Date: 2015-08-18 07:25:26
      43The Incredible Proof Machine Invited Talk Paper Joachim Breitner Karlsruhe Institute of Technology Karlsruhe, Germany

      The Incredible Proof Machine Invited Talk Paper Joachim Breitner Karlsruhe Institute of Technology Karlsruhe, Germany

      Add to Reading List

      Source URL: www.joachim-breitner.de

      - Date: 2016-07-01 09:50:13
        44Visual theorem proving with the Incredible Proof Machine Joachim Breitner Karlsruhe Institute of Technology,

        Visual theorem proving with the Incredible Proof Machine Joachim Breitner Karlsruhe Institute of Technology,

        Add to Reading List

        Source URL: www.joachim-breitner.de

        - Date: 2016-05-20 10:43:05
          45Specifying and Executing Application Behaviour with Condition-Request Rules∗ Andreas Harth Tobias K¨afer Institute AIFB Karlsruhe Institute of Technology (KIT)

          Specifying and Executing Application Behaviour with Condition-Request Rules∗ Andreas Harth Tobias K¨afer Institute AIFB Karlsruhe Institute of Technology (KIT)

          Add to Reading List

          Source URL: harth.org

          - Date: 2017-09-13 04:54:05
            46Entity-centric Data Fusion on the Web Andreas Thalhammer Steffen Thoma Institute AIFB, Karlsruhe Institute of Technology

            Entity-centric Data Fusion on the Web Andreas Thalhammer Steffen Thoma Institute AIFB, Karlsruhe Institute of Technology

            Add to Reading List

            Source URL: www.aifb.kit.edu

            - Date: 2017-06-12 05:31:09
              47Towards Monitoring of Novel Statements in the News Michael F¨ arber, Achim Rettinger, and Andreas Harth Karlsruhe Institute of Technology (KIT), Karlsruhe, Germany {michael.faerber,rettinger,harth}@kit.edu

              Towards Monitoring of Novel Statements in the News Michael F¨ arber, Achim Rettinger, and Andreas Harth Karlsruhe Institute of Technology (KIT), Karlsruhe, Germany {michael.faerber,rettinger,harth}@kit.edu

              Add to Reading List

              Source URL: www.aifb.kit.edu

              - Date: 2016-12-01 09:46:25
                48Stephan Bergmann¹, Mahsa Mohammadikaji¹, Stephan Irgenfried¹, Heinz Wörn¹, Jürgen Beyerer¹,², Carsten Dachsbacher¹ ¹Karlsruhe Institute of Technology ²Fraunhofer Institute of Optronics, System Technologies and

                Stephan Bergmann¹, Mahsa Mohammadikaji¹, Stephan Irgenfried¹, Heinz Wörn¹, Jürgen Beyerer¹,², Carsten Dachsbacher¹ ¹Karlsruhe Institute of Technology ²Fraunhofer Institute of Optronics, System Technologies and

                Add to Reading List

                Source URL: cg.ivd.kit.edu

                - Date: 2016-10-13 05:17:41
                  49Practical Epistemic Entailment Checking in SROIQ Anees Mehdi and Sebastian Rudolph Institute AIFB, Karlsruhe Institute of Technology, DE {anees.mehdi,sebastian.rudolph}@kit.edu

                  Practical Epistemic Entailment Checking in SROIQ Anees Mehdi and Sebastian Rudolph Institute AIFB, Karlsruhe Institute of Technology, DE {anees.mehdi,sebastian.rudolph}@kit.edu

                  Add to Reading List

                  Source URL: ceur-ws.org

                  - Date: 2011-06-26 10:21:13
                    50The Tunnel Vision Syndrome: Massively Delaying Progress Reiner Hartenstein, Professor, IEEE fellow, SDPS fellow, FPL fellow, TU Kaiserslautern, Karlsruhe Institute of Technology (KIT), UnB Introduction. Despite of accele

                    The Tunnel Vision Syndrome: Massively Delaying Progress Reiner Hartenstein, Professor, IEEE fellow, SDPS fellow, FPL fellow, TU Kaiserslautern, Karlsruhe Institute of Technology (KIT), UnB Introduction. Despite of accele

                    Add to Reading List

                    Source URL: hartenstein.de

                    - Date: 2013-05-12 04:18:30